formal semantic language

[ˈfɔ:məl siˈmæntik ˈlæŋɡwidʒ]
  • 释义

    [计] 形式语义语言;

数据更新时间:2025-11-14 07:21:01
1、

A Formal Semantic Model Facing Object Language

一个面向对象语言的形式语义模型

互联网摘选

2、

It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.

总结了未来语义Web基础研究和应用研究的方向:语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信(Trust)与证据(Proof)模型的开发;

互联网摘选

3、

An operational semantic model of formal functional programming language

正式函数式程序设计语言的一种操作性语义模型

互联网摘选

4、

Then, We can discuss the formal of the operation semantic of the language and the concrete access control code generation method. 3.

并以此讨论语言的操作语义的形式定义以及具体访问控制代码的生成方法。2.实现SPC的前端。

互联网摘选

5、

The primary contents are summarized as follows: An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.

对EXPRESS建模语言的核心功能作了概述,并给出了EXPRESS数据模型的一个形式化语义描述。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • vws 大众汽车;冷冻水系统;威立雅水务技术;体育部;威立雅水务技术公司;
  • telescope[ˈtelɪskəʊp] n.望远镜;v.叠缩;精简;
  • i3 abbr.信息智能集成(美国)
  • check[tʃek] v.检查;查看;核实;控制;抑制;克制;存放;在…上打钩;托运;n.检查;账单;支票;调查;阻碍;条令;约束;记号;方格图案;存放处/牌;(国际象棋)将军;
  • gucci['guttʃi] n.古驰(意大利服装名牌);古琦;古奇;古琦;古奇欧·古驰
  • psp 程序段前缀;Play Station Portable,索尼公司开发的新型多功能掌机;
  • tory burch[ˈtɔːri bɜrtʃ] 托里·伯奇;
  • away[əˈweɪ] adv.离开,远离;在远处;消失;adj.不在的;遥远的;客场比赛;
  • Scotland[ˈskɒtlənd] n.苏格兰(英国的一部分,在大不列颠岛北部);
  • sweep[swiːp] v.打扫,拂去;梳(头发);挥动(手臂);席卷,扫过;迅速传播;大模大样地走;彻底删掉;延伸;轻松赢得;n.打扫;挥动;搜索,扫荡;广泛性;(道路、河流)绵延弯曲的地带;
  • achieve[əˈtʃi:v] vt.取得;获得;实现;成功;vi.达到预期的目的,实现预期的结果,如愿以偿;
  • meal[miːl] n.餐,饭;进餐(时间);〈英〉一次挤奶量;谷物粗粉(用作饲料或加工面粉);

纳米英语英语词典(dict.nm3.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈